1. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع:
رده :
E-BOOK
2. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005
3. Programming methodology
پدیدآورنده: Annabelle McIver, Carroll Morgan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming
رده :
QA
76
.
6
.
P72
